Temporal Logic

Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic

Data and Knowledge Modeling / Spatial logic / Symbolic Representation of Drugs / Multimedia Application / Image Sequence / Temporal Logic / Image Features / Temporal Logic / Image Features

Expressing and organizing real-time specification patterns via temporal logics

Information Systems / Formal methods / Computer Software / Patterns / Formal Specification / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic

A temporal logic approach to object certification

Information Systems / Formal Specification / Concurrent Systems / Object Oriented / Temporal Logic / Data Format / Information System / Data Format / Information System

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Calculus / Computational Complexity / Spatial and Temporal Reasoning / Artificial Intelligent / Spatial logic / Boolean Satisfiability / Computability / Decidability / Blow Up / Temporal Logic / Boolean Satisfiability / Computability / Decidability / Blow Up / Temporal Logic

A General Tableau Method for Propositional Interval Temporal Logics

Cognitive Science / Modal Logic / Pure Mathematics / Applied Logic / First Order Logic / Tableaux / Temporal Logic / Partial Order / Tableaux / Temporal Logic / Partial Order

Clausal temporal resolution

Temporal Resolution / Theorem Proving / Pure Mathematics / Linear Temporal Logic / Boolean Satisfiability / Temporal Logic / Normal Form / Temporal Logic / Normal Form

Parallel Temporal Resolution

Temporal Resolution / Theorem Proving / Spatial and Temporal Reasoning / Temporal Logic / Strategy military science

Temporal Description Logics: A Survey

Computational Complexity / Reasoning / Description Logic / Boolean Satisfiability / Temporal Logic

A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

Modal Logic / Component-Based Software Engineering (CBSE) / Formal Specification / Formal language / System Development / Component Based Software Engineering / theory and Analysis of architecture / Feature Integration / Temporal Logic / Abstract Data Type / Data Type / Component Based Software Engineering / theory and Analysis of architecture / Feature Integration / Temporal Logic / Abstract Data Type / Data Type

Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs

Model Checking / Semantic Web / Meta-model / Temporal Logic

Navigational accesses in a temporal object model

Temporal Data Mining / Temporal Databases / Relational Model / Query Languages / Monitoring System / Temporal Logic

Model Checking Biological Systems Described Using Ambient Calculus

Model Checking / Possible Worlds / Computational Methods / Performance Model / Biological systems / Temporal Logic

Use Case Maps as a property specification language

Information Systems / Model Checking / Computer Software / Formal Specification / Formal Verification / User Acceptance / Software Requirement Specification / Temporal Logic / User Acceptance / Software Requirement Specification / Temporal Logic

Expressing and organizing real-time specification patterns via temporal logics

Information Systems / Computer Software / Formal Specification / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic / Pattern Classification / Unified Model / Systems Software / Temporal Logic

Temporal logics for phylogenetic analysis via model checking

Model Checking / Computational Biology / Molecular Evolution / Biological Sciences / Phylogeny / Sequence alignment / Mathematical Sciences / Phylogenetic analysis / Formal Verification / Automated verification / Temporal Logic / Transition Systems / Sequence alignment / Mathematical Sciences / Phylogenetic analysis / Formal Verification / Automated verification / Temporal Logic / Transition Systems

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Computational Complexity / Spatial and Temporal Reasoning / Artificial Intelligent / Spatial logic / Boolean Satisfiability / Blow Up / Temporal Logic / Blow Up / Temporal Logic

Copyright © 2017 DATOSPDF Inc.